Поиск по сайту

HomeПоиск по сайту

Information

По вашему запросу найдено материалов: 1
Искать:
Devyanin Petr N., Kokorin Artem O., Tievskiy Stanislav D., Kokorin Artem O., Devyanin Petr N., Tievskiy Stanislav D. «Methods for deductive verification of c code using AstraVer Toolset» // Applied Discrete Mathematics. Supplement 2022. №15 C.80-90